minlog software package provides Proof assistant based on first order natural deduction calculus, you can install in your Ubuntu 14.04 LTS (Trusty Tahr) by running the commands given below on the terminal,
$ sudo apt-get update $ sudo apt-get install minlog
minlog is installed in your system.
Make ensure the minlog package were installed using the commands given below,
$ sudo dpkg-query -l | grep minlog *
You will get with minlog package name, version, architecture and description in a table
| Distro | Ubuntu 14 04 lts trusty tahr |
| Section | Mathematics |
| Package | minlog |
| Version | 4.0.99.20100221-5.2 |
| Description | Proof assistant based on first order natural deduction calculus |
| Sub Section | math |
I'm very pleased to share my working experience in the Linux field and have posted articles in this website — bits and pieces learned throughout my career.
